mean free path derivation